مدلسازی و تحلیل شبکه ریلی قطارهای عادی و سریع السیرمبتنی بر شبکه پتری

امروزه روشهای مدلسازی با استفاده از شبکه های پتری به دلیل قابلیت گرافیکی آن در شبکه های گسترده و پیچیده ، بخصوص با گسترش علوم رایانه ی و افزایش سرعت پردازنده ها، کاربرد فراوانی پیدا کرده است. شبکه های راه آهن نیز با گسترش خطوط ریلی ، افزایش ظرفیت و افزایش سرعت قطارها پیچیده تر شده و تقاضا برای کنترل این شبکه ها از نظر ایمنی و عدم وقفه رو به افزایش است . در این مقاله یک شبکه خط بسته ریلی که قطارهای عادی و سریع السیر می توانند در آن در حال حرکت باشند، با استفاده از مفاهیم مکان ها، گذرها و کمان ها در شبکه پتری مدل شده است . با استفاده از آنالیز شبکه مدل شده توسط رایانه، تمامی فضای حالت شبکه ریلی ترسیم شده وقوانین منطقی حرکت چنان طراحی شده است که در تمامی حالت های ممکن، ایمنی و عدم وقفه شبکه ریلی تضمین شود. پس از تحلیل توسط نرم افزار حالت های وقفه در شبکه شناسایی و شرایطی که منجر به وقفه می شود تعیین می گردد. در نهایت با تحلیل شبکه ریلی بسته بر اساس تعداد مختلف قطارهای عادی و سریع السیر با ملاحظات عملی نشان داده می شود که سیستم بدون وقفه بوده و همواره ایمن باشد.